dsh-tool-strict-check: Validating Code and Commands with a Real Compiler

`dsh-tool-strict-check` is a host plugin for DeepSeek Harness (DSH) designed to fix mechanical errors by replacing subjective agent judgment with real compiler checkers (such as the Lean 4 kernel and dangerous Shell rules). Located in the `admin-security` category, it provides four checking modes: `status`, `lean` (runs Lean 4 and disallows `sorry`), `batch` (compiler syntax checking), and `commands` (Shell static rules). Installation requires adding the plugin to the DSH profile and installing the Lean 4 toolchain as needed. It validates code by enforcing strict compilation rules, but does not support